Proof mining - PDFSEARCH.IO - Document Search Engine

Proof mining
Results: 36

#	Item
11	PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new i Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:21:17
12	Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:33:41
13	PREPRINT: Nonoutsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions Andrew Miller, Elaine Shi, Ahmed Kosba, and Jonathan Katz University of Maryland, College Park {amiller,elaine,akosba,jkatz}@cs.umd.e Add to Reading List Source URL: cs.umd.edu Language: English - Date: 2015-02-28 16:56:18 Software Bitcoin Peer-to-peer computing Proof-of-work system Ticket Public-key cryptography T puzzle Consensus Terahash Cryptography Computing Computer network security
14	BRICS Basic Research in Computer Science BRICS DSP. B. Oliva: Proof Mining in Subsystems of Analysis Proof Mining in Subsystems of Analysis Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-03-30 19:22:36
15	SC 9-1 Proof - Inc Authors revisions Add to Reading List Source URL: www.securitychallenges.org.au Language: English - Date: 2013-04-25 02:32:24 Nuclear weapons Contemporary history Weapons of mass destruction Nuclear energy in India Arms control Nuclear Non-Proliferation Treaty U.S.–India Civil Nuclear Agreement Comprehensive Nuclear-Test-Ban Treaty Uranium mining International relations Nuclear proliferation Nuclear technology
16	Underground non-flame proof diesel vehicles. Add to Reading List Source URL: mines.industry.qld.gov.au Language: English - Date: 2013-12-10 00:13:06 Diesel engines Electric car Coal mining Diesel locomotive Technology
17	SC 9-1 Proof - Inc Authors revisions[removed] Add to Reading List Source URL: www.securitychallenges.org.au Language: English - Date: 2013-04-25 02:32:24 Nuclear weapons Contemporary history Weapons of mass destruction Nuclear energy in India Arms control Nuclear Non-Proliferation Treaty U.S.–India Civil Nuclear Agreement Comprehensive Nuclear-Test-Ban Treaty Uranium mining International relations Nuclear proliferation Nuclear technology
18	PROOF 16 Transdisciplinarity and Digital Humanities: Lessons Learned from Add to Reading List Source URL: usir.salford.ac.uk Language: English - Date: 2011-12-30 13:25:12 Knowledge Research methods Data analysis Evaluation methods Transdisciplinarity Computer assisted qualitative data analysis software Interdisciplinarity Data mining Text mining Science Pedagogy Education
19	PREPRINT: Nonoutsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions Andrew Miller, Elaine Shi, Ahmed Kosba, and Jonathan Katz University of Maryland, College Park {amiller,elaine,akosba,jkatz}@cs.umd.e Add to Reading List Source URL: cs.umd.edu Language: English - Date: 2014-07-15 10:16:08 Bitcoin Cyberwarfare Proof-of-work system Public-key cryptography T puzzle Ticket Terahash Consensus Eternity II puzzle Cryptography Computing Software
20	PREPRINT: Nonoutsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions Andrew Miller, Elaine Shi, Jonathan Katz, and Ahmed Kosba University of Maryland, College Park {amiller,elaine,jkatz,ahmed}@cs.umd.ed Add to Reading List Source URL: p2sh.net Language: English - Date: 2014-06-18 16:27:08 Bitcoin Cyberwarfare Proof-of-work system Public-key cryptography T puzzle Ticket Terahash Consensus Eternity II puzzle Cryptography Computing Software

UPDATE